101. Introduction to mathematical logic: set theory, computable funtions, model theory
پدیدآورنده : Malitz, Jerome
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M26
102. Introduction to model theory
پدیدآورنده : Rothmaler, Philipp
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Model theory
رده :
QA
9
.
7
.
R68
103. Introduction to model theory
پدیدآورنده : Rothmaler, Philipp
موضوع : ، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
104. Introduction to model theory
پدیدآورنده : Rothmaler, Philipp
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Model theory
رده :
QA
9
.
7
.
R67
2000
105. Introduction to model theory and to the metamathematics of algebra
پدیدآورنده : Robinson, Abraham
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Algebra, Abstract,، Mathematics,، Model theory
رده :
QA
162
.
R6
1974
106. Introduction to model theory and to the metamathematics of algebra
پدیدآورنده : Robinson, Abraham
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Algebra, Abstract,، Metamathematics,، Model theory
رده :
QA
162
.
R6
1974
107. Intuitionistic logic, model theory and forcing
پدیدآورنده : Fitting, Melvin
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Model theory,، Axiomatic set theory,، Forcing )Model theory(
رده :
QA
9
.
F56
108. Inverse problem theory and methods for model parameter estimation
پدیدآورنده : Albert Tarantola
موضوع : Inverse problems (Differential equations)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
109. Inverse problem theory and methods for model parameter estimation
پدیدآورنده : / Albert Tarantola
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Inverse problems (Differential equations)
رده :
E-BOOK
110. Inverse problem theory and methods for model parameter estimation
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Inverse problems (Differential equations) ;
111. Inverse problem theory : methods for data fitting and model parameter estimation
پدیدآورنده : Tarantola, Albert.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Inverse problems )Differential equations(
رده :
QA
371
.
T36
1987
112. July 2, 2010. Proceedings-Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28
پدیدآورنده : / Marco Brambilla, Stefano Ceri, Massimo Tisi (auth.), Laurence Tratt, Martin Gogolla (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
113. Large infinitary languages : model theory
پدیدآورنده : Dickmann, M A
موضوع : ، Infinitary languages,، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
114. Lectures on algebraic model theory /
پدیدآورنده : Bradd Hart, Matthew Valeriote, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebraic fields,Model theory
رده :
QA9
.
7
.
H37
2002
115. Library and users: theory and practice (paper VIII of UGC model curriculum)
پدیدآورنده : / P. S. G. Kumar.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : ک‍ت‍اب‍خ‍ان‍ه‌ه‍ا و م‍راج‍ع‍ان.,ک‍ت‍اب‍خ‍ان‍ه‌ه‍ا و م‍راج‍ع‍ان -- آم‍وزش.
رده :
BibZ
۷۱۱
/
۲
/
ک
۹
ل
۲ ۱۳۸۳
116. Linear model theory :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Linear models (Statistics) ;
117. Linear model theory :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Linear models (Statistics) ;
118. Linear model theory
پدیدآورنده : / Keith E. Muller, Paul W. Stewart
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Linear models (Statistics)
رده :
QA279
.
M86
2006
119. Linear model theory: univariate, multivariate, and mixed models
پدیدآورنده : Muller, Keith E.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Linear models )Statistics(
رده :
QA
279
.
M86
2006
120. Linear model theory: univariate, multivariate, and mixed models
پدیدآورنده : / Keith E. Muller, Paul W. Stewart
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Linear models (Statistics)
رده :
519
.
5
M958L
2006
